Boyce-Codd normal form
Boyce–Codd normal form - Wikipedia